<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width,initial-scale=1.0,maximum-scale=1.0,minimum-scale=1.0,user-scalable=no">
    <link rel="shortcut icon" href="./static/favicon.ico" >
    <link rel="stylesheet" href="./static/js-extern/jquery-ui/jquery-ui.css">
    <link rel="stylesheet" href="./static/js-extern/elfinder/css/elfinder.full.css">
    <link rel="stylesheet" href="./static/js-extern/elfinder/elfinder-custom-callback.css">
    <script src="./static/js-extern/termwindow/util.js"></script>
    <script src="./static/js-extern/termwindow/term.js"></script>
    <script src="./static/js-extern/termwindow/termwindow.js"></script>
    <script src="./static/js-extern/jquery/jquery.js"></script>
    <script src="./static/js-extern/jquery-ui/jquery-ui.js"></script>
    <script src="./static/js-extern/elfinder/js/jquery-ui-patch.js"></script>
    <script src="./static/js-extern/elfinder/js/elfinder.full.js"></script>
    <script src="./static/js-extern/elfinder/elfinder-custom-callback.js"></script>
    <script src="./static/js-extern/ace/ace.js"></script>
    <script src="./static/js-extern/plotly/plotly.min.js"></script>
    <title>Antilles</title>
    <style media="screen">
      body[style] {
        overflow: inherit !important;
      }
    </style>
  </head>
  <body>
    <div id="app"></div>
  </body>
  <script type="text/javascript">
    var $jq = jQuery.noConflict();
  </script>
</html>
